COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002
C00008 ENDMK
C⊗;

                   BIBLIOGRAPHY - NONMONOTONIC REASONING FILE

>Bossu, Genevieve and Siegel, Pierre\La Saturation au secours de la non-monotonic\
*(Where the saturation rescues the non-monotony)\Marseilles, France, 1981.

Clark, Keith L.\Negation as failure\Queen Mary College, London

*Creary, Lewis G.\On the epistemology of commonsense factual reasoning: beyond
>anti-logicism and non-monotonicity\Stanford Univ.\1981.

Davis, Martin\The Mathematics of Non+Monotonic Reasoning\Artificial Intelligence 13\
1980

>Doyle, Jon,\Non-monotonic logics and mechanized non-deductive reasoning\
*  Stanford University\1981.

Doyle, Jon\A truth maintenance system\MIT, AI Memo 521\1979.

>Etherington, David W.\Formalizing Non-Monotonic Reasoning Systems\Univ. of
*British Columbia, Dept. of Computer Science, Tech. Report 83-1\unknown.
*Copy in Non-Monotonic File also.

*Etherington, David W.\Finite Default Theories (thesis)\Univ. of British
>Columbia\August 1982.  Also in non-monotonic file.

Fahlman, Scott; Touretzky, David S.; Van Roggen, Walter\Cancellation in a Parallel
Semantic Network\IJCAI 81.

>Gabbay, Dov M.\Intuitionistic basis for non-monotonic logic\Univ. of 
*Stuttgart\Lecture notes in computer science, Vol 139, Springer

Gabbay, D.M. and Sergot, M.J.\Negation as inconsistency\Research Report Doc 84/7,
February 1984

Gabbay, D.M.\N-PROLOG!  An extension of PROLOG with causal implications\
Research Report, Imperial College of Science and Technology, London\1984

Gabbay, D.M.\Theoretical foundations for non-monotonic reasoning in expert systems\
Research Report Draft\Imperial College of Science and Technology, London\April 1984

Gabbay, D.M.\What is negation in a system and when is failure a negation\
Imperial College of Sciencce and Technology, London\1984

Ginsberg, M.L.\Non-monotonic Reasoning Using Dempster's Rule.

Lifschitz, Vladimir\A Logic for Non-Monotonic Reasoning, with Application to 
to Minsky's Bird Problem\Univ. of Texas, El Paso.

Lifschitz, Vladimir\A Special Case of Circumscription\Univ. of Texas, El Paso\
Sept. 1983.

Kowalski, Robert\Logic for data description\Imperial College, London

>***McDermott, D.\Non-monotonic logic II:  Non-monotonic modal theories\Yale Univ.\
*1980.

McCarthy, John\Applications of circumscription to formalizing common sense
knowledge\Stanford University

McDermott, Drew and Doyle, Jon\Non-Monotonic Logic I\Artificial Intelligence 13\
1980.

Marek, W.\The Forcing Interpretation of the Non-Monotonic Logic\Dept. of Computer 
Science\Univ. of Kentucky\date unknown.

Mercer, R.E. and Reiter, R.\ The Representation of Presuppositions Using Defaults\
Univ. of British Columbia\Tech. report 82-1\March 1982.

*Minker, Jack\On indefinite databases and the closed world assumption\Univ. of
>Maryland\1981.  Non-Monotonic

Minker, J.\ Applications of Protected Circumscription\unknown.

Minker, J. and Perlis, D.\ On the Semantics of Circumscription (draft)\ Univ.
of Maryland\July 1983.

>Moore, Robert C.\Semantical Considerations on Nonmonotonic Logic\SRI, Tech Note 284\
*June 1983.

Nourani, C.F.\Equational Intensity, Initial Models, and AI Reasoning\GTE 
Laboratories, Waltham, MA\Sept. 1983

Reiter, Raymond and Criscuolo, Giovanni\Some Representational issues in Default
Reasoning\Comp & Maths with Appls. Vol 9, No. 1\1983

Reiter,R.\A Logic for Default Reasoning\Artificial Intelligence 13\1980.

Reiter, Raymond\Circumscription implies predicate completion (sometimes)\
Rutgers Univesity\

>Sandewall, Erik\Partial Models, Attribute Propagation Systems, and Non-Monotonic
*Semantics\Linkoping Univ\LITH-IDA-R-83-01\December 1983.

Stalnaker, Robert\A note on non-monotonic modal logic\Cornell University